From 7a59e949e3926f7f6acedfb93c805d5d1ceec7ca Mon Sep 17 00:00:00 2001 From: =?utf8?q?St=C3=A9phane=20Glondu?= Date: Mon, 15 Dec 2025 07:11:39 +0100 Subject: [PATCH] Mark test_compact_manydomains as multicore Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch --- testsuite/tests/compaction/test_compact_manydomains.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/testsuite/tests/compaction/test_compact_manydomains.ml b/testsuite/tests/compaction/test_compact_manydomains.ml index 6d26260a..6441fe84 100644 --- a/testsuite/tests/compaction/test_compact_manydomains.ml +++ b/testsuite/tests/compaction/test_compact_manydomains.ml @@ -1,4 +1,5 @@ (* TEST + multicore; *) let num_domains = 20 -- 2.30.2